小王主要负责编写测试程序来检查被测模块的接口调用是否符合详细设计说明书的定义。小王的工作属于软件质量管理的( )过程。